Curryn paradoksi

Curryn paradoksi on nimetty keksijänsä, matemaatikko ja loogikko Haskell Brooks Curryn mukaan. Curryn paradoksi haastaa naiiveja teorioita:

Curryn paradoksi menee seuraavasti;

On olemassa lista, jossa on väitteet:

  • Tasmanian tuholaisella on vahvat leuat.
  • Toinen kohta listassa on kehämäinen.
  • Jos listan kolmas kohta on tosi, on koko lista tosi.
  • Listassa on neljä kohtaa.

Lista itsessään ei ole paradoksaalinen, kolmas kohta on. Oletetaan että väite "listan kolmas kohta on tosi" pätee. Tällöin tiedämme että "jos listan kolmas kohta on tosi, on koko lista tosi" on tosi, koska juuri totesimme kolmannen kohdan pätevän. Tästä voimme päätellä että koko lista on tosi, jolloin kolmas kohta on tosi, jolloin listan jokainen kohta on tosi...


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne